Fuzzy Multivalued Logics and T-Norms

نویسنده

  • Francesc Esteva
چکیده

Fuzzy logic in narrow sense: A summary on t-norm-based logics In the seventies and eighties operations over [0,1] corresponding to connectives of a multi-valued logic has been studied and used to define Fuzzy Set operations. From then t-norms, t-conorms, negation and implication functions have been widely studied and applied. The nineties were the start point of the study of the kernel of fuzzy logic (fuzzy logics in narrow sense in Zadeh nomenclature), a multivalued residuated logic whose semantic is defined by the structure defined over [0,1] by a t-norm (modelling the "and") its residuum (modelling the implication) and the negation defined as "imply zero". The definition of BL(for basic fuzzy logic) by P.Hàjek (proved to be the logic of continuous t-norm and their residua) and of MTL (for monoidal t-norm-based logic) by Esteva-Godo (proved to be the logic of left-continuous t-norm and their residua) are the basis for any further study of these family of logics. In the conference a summary of the recent result in these logics and their relation with t-norms will be given. About the speaker: Francesc Esteva received his B.Sc. in Mathematics in 1969 and his Ph.D. also in Mathematics in 1974, both from the University of Barcelona. He was Full Professor at the Thechnical University of Catalunya and he is currently the Director of the Artificial Intelligence Research Institute (IIIA) of the Spanish Research Council (CSIC). He has published about 100 papers in Journals and Conferences mainly in the area of approximate reasoning and its applications to different areas like knowledge-based systems and case-based reasoning. Multi-valued Logics, Modal and Multi-modal Systems and mainly Fuzzy Logic in narrow sense are the topics he has been working in. He has been President of the Spanish Association for Fuzzy Logic and Technology and the first President of EUSFLAT. He is member of the editorial board of the Handbook of Fuzzy Computation published by IOS Press, area editor of IJUFKBS and member of the editorial board of some other journals. EUSFLAT LFA 2005

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Residuated fuzzy logics with an involutive negation

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0, namely ¬φ isφ → 0. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which i...

متن کامل

Multi-valued Connectives for Fuzzy Sets

We present a procedure for the construction of multi-valued t-norms and t-conorms. Our procedure makes use of a pair of single-valued t-norms and the respective dual t-conorms and produces interval-valued t-norms u and t-conorms t. In this manner we combine desirable characteristics of different t-norms and t-conorms; if we use the t-norm ∧ and t-conorm ∨, then (X,u,t) is a superlattice, i.e. t...

متن کامل

Propositional fuzzy logics based on Frankt - norms : A comparisonErich

Among various approaches to fuzzy logics, we have chosen two of them, which are built up in a similar way. Although starting from diierent basic logical connectives, they both use interpretations based on Frank t-norms. Diierent interpretations of the implication lead to diierent axiomatizations, but most logics studied here are complete. We compare the properties, advantages and disadvantages ...

متن کامل

How Fuzzy Is My Fuzzy Description Logic?

Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp r...

متن کامل

On Triangular Norm-Based Propositional Fuzzy Logics

Fuzzy logics based on triangular norms and their corresponding conorms are investigated. An aarmative answer to the question whether in such logics a speciic level of satissability of a set of formulas can be characterized by the same level of satissability of its nite subsets is given. Tautologies, contradictions and contingencies with respect to such fuzzy logics are studied, in particular fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005